A comparison between the standard adiabatic piston dynamics and that of a perfectly conducting (diathermal) piston helps to clarify their different behaviors and, in particular, the anomalously large random displacement of the adiabatic piston as compared to the diathermal one. It is shown to be associated with a situation where the presence of a single massive “particle” (the piston), acting as an internal constraint in a many-particle system, plays a somewhat unexpected relevant role. A significant physical insight accounting for the (...) above difference is gained by means of a simple analysis of the phase space available to our system. (shrink)

We propose that the sudden emergence of metazoans during the Cambrian was due to the appearance of a complex genome architecture that was capable of computing. In turn, this made defining recursive functions possible. The underlying molecular changes that occurred in tandem were driven by the increased probability of maintaining duplicated DNA fragments in the metazoan genome. In our model, an increase in telomeric units, in conjunction with a telomerase-negative state and consequent telomere shortening, generated a reference point equivalent to (...) a non-reversible counting mechanism. (shrink)

In the series Collezione di Filosofia published by Taylor of Turin since 1947, some of the most significant works on Italian existentialism have appeared. The series was inaugurated by two books by the writer of this article: Introduzione all esistenzialismo, second edition, 1947 ; and Filosofia religione scienza, 1947. These were followed by Pietro Chiodi, L'esistenzialismo di Heidegger, 1947; Armando Vedaldi, Essere gli altri, 1948; Uberto Scarpelli, Esistenzialismo e marxismo, 1949; Enzo Paci, II nulla e il problema dell'uomo, 1950; Luigi (...) Pareyson, Esistenza e persona, 1950; and Armando Vedaldi, Struttura della proprietà, 1951. (shrink)

The New Economic Windows Series, derived from Massimo Salzano's ideas and work, incorporates material from textbooks, monographs and conference proceedings that deals with both the theoretical and applied aspects of various sub-disciplines ...

L'origine dell'anima umana secondo Dante.--La dottrina d'Alberto Magno sull'Inchoatio formae.--Alberto Magno e san Tommaso.--La posizione di Alberto Magno di fronte all'averroismo.--L'anima umana secondo Sigieri.--Anima e corpo nel pensiero di san Tommaso.--L'aristotelismo della scolastica e i francescani.--Individualità e immortalità nell'averroismo e nel tomismo.

An Irishman’s heart is nothing but his imagination.G.B. Shaw, John Bull’s other Island 1. Il primo principio della conoscenza e la riflessione estetica Secondo il primo principio della conoscenza, esse est percipi, l’essere delle cose è il loro essere percepite. Anche quando nessun soggetto percepisce l’oggetto, questo continua a esistere perché Dio, causa unica della realtà, percependo tutte le idee, dalla creazione in poi, le mantiene in essere. In questo modo il processo percettivo si stru...

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)